The antifloating property of underground structures in areas with high underground water levels is a key design aspect. Evaluating the buoyancy forces acting on underground structures is complicated, particularly in the presence of confined water beneath the structures. Herein, the effects of the permeability coefficient of layered soil, hydraulic gradient, and embedment depth of the aquiclude on the buoyancy force acting on underground structures are investigated through three model tests: calibration of the test system, buoyancy force acting on a structure (...) located in homogeneous soil considering vertical direction seepage, and buoyancy force acting on a structure located in layered soil considering vertical seepage of confined water. The results show that the pore pressure along the structure and the buoyancy force acting on the underground structure considering seepage are greater than those obtained under hydrostatic conditions. The raising ratios of the pore pressure and buoyancy force are equal to the vertical hydraulic gradient when seepage occurs in homogeneous soil. In the presence of confined water, the raising ratio is significantly greater than the hydraulic gradient. In the cases studied herein, the raising ratio is approximately twice the hydraulic gradient. Simplified equations are proposed to calculate the buoyancy force acting on underground structures considering the vertical seepage of confined water. Finally, a finite element analysis is carried out to verify the conclusions obtained from the model test and the rationality of the proposed equations. (shrink)

Ben shu gong you ba jiang zu cheng, fen bie shi sheng ren bi ke xue er zhi, Wang Yangming de xin xue ti xi, shi gong yu bing xue, wen xue si xiang yu shi wen chuang zuo, jiao yu si xiang yu shi jian, Yangming hou xue, Yangming xue zai jin xian dai de ying xiang, Yangming wen hua yu Guizhou lü you. Mei ge lun ti lun shu ji zhong, shen du shi zhong, xu shu xing yu (...) yan tong su liu chang, gu shi xing qiang, hen shi he da zhong du zhe yue du. wei qi fa du zhe si kao, zeng qiang yue du xiao guo, zai mei yi jiang zhi hou shi liang she zhi le yi xie ming ci jie shi, jian da tao lun ti. ling pei he xiang guan wen zi, she zhi le yi xie tu pian, bei ke he Yangming shu fa zuo pin deng, ju you ji jia de guan shang xing. (shrink)

1. Xin yi shu chuang zuo lun, Xin yi shu lun ji -- 2. Mian xiang sheng huo, Lun yi shu de ji qiao -- 3. Yi yi dang shi -- 4. Xi wen le jian -- 5. Ge er bu ge -- 6. Lun Feng jie -- 7. Kai xin yue shi -- 8. Bu dao ding dian, Shen mei de min gan -- 9. Zai zai tan suo -- 10. Liao ran yu xin -- 11. Shen mei tan (...) -- 12. Si zeng xiang shi, Yi shen er ren -- 13. Shen mei xin tai -- 14. Hui jian zi ji -- 15. Diao su diao su -- 16. "Fu huo" de fu huo -- 17. Dong fang ji bai -- 18. Shen yu wu you -- 19. Tu na ying hua -- 20. Qu yu wu xie -- 21. Shu xin, ti ci xuan -- 22. Duan jian can pian. (shrink)

Ben shu wan zheng di ti xian le yang ming xin xue"xin ji li","zhi xing he yi","zhi liang zhi"san da ming ti,Sheng dong di ji zai le yang ming xin xue li lun zai yang ming shi sheng zhi jian de gou jian he chuan bo guo cheng,Jiao wei ji zhong di zhan xian he hui ji le yang ming de xin xue si xiang ti xi,Dui yu yang ming hou xue de fa zhan chan sheng le zhi jie er (...) shen yuan de ying xiang. (shrink)

Ben shu yi dong zhong shu zi ran guan wei shi jiao,Chan shu le dong zhong shu de"tian ren gan ying"lun,"wu lei lei bi"he"xun ming de li"de fang fa lun,Yi tian wei yuan ben de yu zhou lun,"bian er you chang"de bian zheng tian dao guan,Yi ji dong zhong shu you guan yuan qi,Yin yang,Wu xing de zi ran ke xue si xiang,Zai zong ti shang ken ding le dong zhong shu zai jie shi he ren shi zi ran gui (...) lü shang de jin bu xing,Ken ding le dong zhong shu dui zhong guo gu dai zi ran ke xue de gong xian,Bing pi ping le yi wang dui dong zhong shu bu gong zheng di ping pan.Ben shu tong shi ye zhi chu le dong zhong shu de mou xie si xiang dui hou shi de fu mian ying xiang. (shrink)

Ben shu jie shao le gong zi zhen, wei yuan, yan fu, kang you wei, tan si tong, liang qi chao, chen tian hua, zhang bing lin deng wan qing si xiang jia de zhe xue si xiang.

Ben shu jie shao le liang shu ming xian sheng shi shang ge shi ji de zhong guo wen hua ming ren zhi yi, Shi 20 shi ji xin ru jia de kai chuang zhe, Shi si xiang jia, Zhe xue jia, Jiao yu jia, You shi po you ying xiang de she hui huo dong jia. You qi ta de du te de si xiang he xue shi, Ta de te li du xing de kan ke ren sheng jing (...) li, Yi bei zi jian chi jiang zhen hua, Shi bu tong xun chang de, Ye shi ruo gan tong shi dai de zhi ming ren shi suo bu ke qi ji de. (shrink)

Ben shu yi han si{692126}kai mi sen de fa lü li lun ji qi shi jian wei zhong xin lun shu le kai mi sen xiang guan fa lü li lun de yuan yuan, chuan tong ji qi shi jian te xing, lun shu le kai mi sen zuo wei " ao di li xian fa de she ji shi " dui yu ao di li fa lü li lun ji qi shi jian suo zuo chu de gong xian. tong (...) shi, kai mi sen de fa lü li lun zhi gen yu xi fang de fa zhi li nian yi ji de yi zhi de fa lü li shi chuan tong, 1848 nian ge ming qi jian chan sheng de zhu duo xian fa yi ji ao xiong di guo de di guo fa yuan chuan tong wei kai mi sen de fa lü li lun dian ding ji chu, jiang kai mi sen de li lun ji qi shi jian zhi yu fa zhi li shi he de yi zhi fa lü li shi fa zhan de da huan jing zhong yu yi shen shi, ke yi geng hao di li jie kai mi sen de li lun ji qi shi jian de yi yi yu jia zhi. (shrink)

Xue xi he yan jiu Zhongguo zhe xue, yi ban lai shuo, Feng xian sheng shi ke chao er bu ke yue de. Yi si shi, hou ren wan quan ke neng er qie ye ying dang sheng guo Feng xian sheng, dan shi que bu neng rao guo Feng xian sheng. Rao guo Feng xian sheng, bu dan bi ran yao duo fei li qi, er qie rong yi zou wan lu er nan yu shen ru tang ao. Feng (...) Youlan zuo wei wo guo jin dai zhe xue de yi dai ju bo, zai mou zhong yi yi shang, ying xiang liao zheng ge jin dai Zhongguo zhe xue de ge ju. Er dui yu Feng Youlan zhe xue ji qi xue shu sheng ya de yan jiu, ye sui zhe dang dai guo xue yan jiu de xing qi, shou dao yue lai yue duo de guan zhu. Minguo shi qi de Zhongguo xue shu jie, ying gai shuo shi hui ju le yi da pi kua shi dai de xue shu jing ying, te bie shi zai chuan tong xue shu ling yu, kan cheng yi chang si xiang de sheng yan.ben shu zuo zhe zai hao ru yan hai de Minguo wen xian zhong, jing xin zheng li chu dang shi xue jie dui Feng Youlan zhe xue de hui ying he dui hua, qi zhong bao kuo zhu ru Chen Yinke, Jin Yuelin, Hu Shi, Zhang Dainian, Cai Shangsi deng yi da pi xue jie tai dou de wen zhang, zi liao xing fei chang qiang, bu jin fan ying le zhu wei xue zhe ge ren de du dao jian jie, geng cong yi ge ce mian fan ying le Minguo shi qi Feng Youlan zhe xue yan jiu de sheng kuang, dui dang xia yan jiu Feng Youlan zhe xue si xiang ju you zhong yao de can kao jia zhi. (shrink)

A proposition is noncontingent, if it is necessarily true or it is necessarily false. In an epistemic context, ‘a proposition is noncontingent’ means that you know whether the proposition is true. In this paper, we study contingency logic with the noncontingency operator? but without the necessity operator 2. This logic is not a normal modal logic, because?→ is not valid. Contingency logic cannot define many usual frame properties, and its expressive power is weaker than that of basic modal logic over (...) classes of models without reflexivity. These features make axiomatizing contingency logics nontrivial, especially for the axiomatization over symmetric frames. In this paper, we axiomatize contingency logics over various frame classes using a novel method other than the methods provided in the literature, based on the ‘almost-definability’ schema AD proposed in our previous work. We also present extensions of contingency logic with dynamic operators. Finally, we compare our work to the related work in the fields of contingency logic and ignorance logic, where the two research communities have similar results but are apparently unaware of each other’s work. One goal of our paper is to bridge this gap. (shrink)

In this note we shall show that if L is a balanced pseudocomplemented Ockham algebra then the set ${\fancyscript{I}_{k}(L)}$ of kernel ideals of L is a Heyting lattice that is isomorphic to the lattice of congruences on B(L) where ${B(L) = \{x^* | x \in L\}}$ . In particular, we show that ${\fancyscript{I}_{k}(L)}$ is boolean if and only if B(L) is finite, if and only if every kernel ideal of L is principal.

It is meaningful for a researcher to find some proper collaborators in complex academic tasks. Academic collaborator recommendation models are always based on the network embedding of academic collaborator networks. Most of them focus on the network structure, text information, and the combination of them. The latent semantic relationships exist according to the text information of nodes in the academic collaborator network. However, these relationships are often ignored, which implies the similarity of the researchers. How to capture the latent semantic (...) relationships among researchers in the academic collaborator network is a challenge. In this paper, we propose a content-enhanced network embedding model for academic collaborator recommendation, namely, CNEacR. We build a content-enhanced academic collaborator network based on the weighted text representation of each researcher. The content-enhanced academic collaborator network contains intrinsic collaboration relationships and latent semantic relationships. Firstly, the weighted text representation of each researcher is obtained according to its text information. Secondly, a content-enhanced academic collaborator network is built via the similarity of the weighted text representation of researchers and intrinsic collaboration relationships. Thirdly, each researcher is represented as a latent vector using network representation learning. Finally, top- k similar researchers are recommended for each target researcher. Experiment results on the real-world datasets show that CNEacR achieves better performance than academic collaborator recommendation baselines. (shrink)

This study created a motion graphic animation about the danger of snakes within a story telling structure, which is different from a traditional science animation that relies on explanatory language to explain the scientific concept. The effects of the two types of animations on children’s attentional perception on snakes were compared by an inattentional blindness task. Three groups of children undertook the IB task with one control group who did not watch the animation and the other two groups who watched (...) the MG and the traditional styled animation, respectively in advance. The results showed that: Children who watched the animation were significantly more likely to detect the unexpected snake images in the IB task than those who did not watch the animation; Children who watched the MG animation showed a higher detection rate on the snake images than those who watched the traditional animation. The findings indicate that the intervention of animation would increase children’s attentional perception on the key concepts significantly. The MG animation has more impact than the traditional animation on children’s attentional perception on the key information. This study demonstrates that MG animation may have a significant value in promoting science education for young children that merits further explorations in depth. (shrink)

In this note we shall describe the lattice of the congruences on a balanced Ockham algebra with the pseudocomplementation whose quotient algebras are boolean. This is an extension of the result obtained by Rodrigues and Silva who gave a description of the lattice of congruences on an Ockham algebra whose quotient algebras are boolean.

We investigate the class of those algebras in which is a de Morgan algebra, is a quasi-Stone algebra, and the operations \ and \ are linked by the identity x**º = x*º*. We show that such an algebra is subdirectly irreducible if and only if its congruence lattice is either a 2-element chain or a 3-element chain. In particular, there are precisely eight non-isomorphic subdirectly irreducible Stone de Morgan algebras.

Underwater object detection plays an important role in research and practice, as it provides condensed and informative content that represents underwater objects. However, detecting objects from underwater images is challenging because underwater environments significantly degenerate image quality and distort the contrast between the object and background. To address this problem, this paper proposes an optical prior-based underwater object detection approach that takes advantage of optical principles to identify optical collimation over underwater images, providing valuable guidance for extracting object features. Unlike (...) data-driven knowledge, the prior in our method is independent of training samples. The fundamental novelty of our approach lies in the integration of an image prior and the object detection task. This novelty is fundamental to the satisfying performance of our approach in underwater environments, which is demonstrated through comparisons with state-of-the-art object detection methods. (shrink)

We identify the \-ideals of a distributive demi-pseudocomplemented algebra L as the kernels of the boolean congruences on L, and show that they form a complete Heyting algebra which is isomorphic to the interval \ of the congruence lattice of L where G is the Glivenko congruence. We also show that the notions of maximal \-ideal, prime \-ideal, and falsity ideal coincide.

BackgroundBilateral cerebral palsy is the most common type of CP in children and is often accompanied by different degrees of communication impairment. Several studies have attempted to identify children at high risk for communication impairment. However, most prediction factors are qualitative and subjective and may be influenced by rater bias. Individualized objective diagnostic and/or prediction methods are still lacking, and an effective method is urgently needed to guide clinical diagnosis and treatment. The aim of this study is to develop and (...) validate an objective, individual-based model for the prediction of communication impairment in children with BCP by the time they enter school.MethodsA multicenter prospective cohort study will be conducted in four Chinese hospitals. A total of 178 children with BCP will undergo advanced brain magnetic resonance imaging at baseline. At school entry, communication performance will be assessed by a communication function classification system. Three-quarters of children with BCP will be allocated as a training cohort, whereas the remaining children will be allocated as a test cohort. Multivariate lesion- and connectome-based approaches, which have shown good predictive ability of language performance in stroke patients, will be applied to extract features from MR images for each child with BCP. Multiple machine learning models using extracted features to predict communication impairment for each child with BCP will be constructed using data from the training cohort and externally validated using data from the test cohort. Prediction accuracy across models in the test cohort will be statistically compared.DiscussionThe findings of the study may lead to the development of several translational tools that can individually predict communication impairment in children newly diagnosed with BCP to ensure that these children receive early, targeted therapeutic intervention before they begin school.Trial registrationThe study has been registered with the Chinese Clinical Trial Registry. (shrink)

Electroacupuncture (EA) and electroconvulsive therapy (ECT) are often used in the management of schizophrenia. This study sought to determine whether additional EA and ECT could augment antipsychotic response and reduce related side effects. In this retrospective controlled study, 287 hospitalized schizophrenic patients who received antipsychotics (controls, n = 50) alone or combined with EA (n = 101), ECT (n = 55) or both (EA+ECT, n = 81) were identified. EA and ECT were conducted for 5 and 3 sessions per week, (...) respectively, with a maximum of 12 sessions for ECT during hospitalization. The Scale for the Assessment of Positive Symptoms (SAPS) and Scale for the Assessment of Negative Symptoms (SANS) were used to assess the severity of psychotic symptoms. Clinical response on SAPS and SANS, weight gain, and adverse events were compared. Survival analysis revealed that the ECT and EA+ECT groups had markedly greater clinical response rate than controls on SAPS [72.7% and 90.1% vs. 64.0%; relative risk (RR), 1.974 and 2.628, respectively, P ≤ 0.004] and on SANS (67.3% and 70.4% vs. 42.0%; RR, 1.951 and 2.009, respectively, P ≤ 0.015). A significantly greater response rate on SANS than controls was also observed in the EA group (64.4% versus 42.0%; RR = 1.938, P = 0.008). EA-containing regimens remarkably reduced weight gain and incidences of headache, insomnia, dry mouth, and electrocardiographic abnormalities. These results suggest that EA and ECT can serve as additional treatment for enhancing antipsychotic response and reduce the side effects in hospitalized patients with schizophrenia. (shrink)

Stable and enduring cooperative relationships among people are primarily based on mutual trust. However, little evidence exists about the effects of mutual trust between supervisor and subordinate on work outcomes. To understand better the dynamics of trust in supervisor–subordinate relationships, we examined how mutual trust between supervisor and subordinate is associated with work outcomes. Based on a sample of 247 subordinate–supervisor pairs, multilevel analyses revealed a positive effect of perceived mutual trust on task performance and interpersonal facilitation after controlling for (...) trust in leader and felt trust. In addition, task performance and interpersonal facilitation increased as trust in leader and felt trust or trust in subordinate both increased. (shrink)

The Iowa Gambling Task (IGT) simulates uncertain gains and losses in real life situations and thus is a good measure of uncertain decision making. The role of working memory (WM) in IGT performance still remains unclear. The present study aimed to examine the effect of WM on IGT performance. Three groups of participants matched on gender ratio were randomly assigned to no WM load, low WM load, and high WM load conditions. Initially the three groups did not show significant difference (...) in WM capacity. They finished a modified version of IGT and then their implicit learning effect and explicit cognition on IGT were assessed. Results indicated a linear increasing trend of IGT performance among high WM load, low WM load and no WM load groups; participants in the no WM load and low WM load groups revealed implicit learning effect, while participants in the high WM load group did not; all participants showed explicit cognition on IGT to the same level. These results suggested that participants in the high WM load group showed good explicit cognition to IGT but showed poor performance. This pattern is similar to frontal patients. Further studies should be conducted to explore this issue. (shrink)

This study was designed to estimate the associations between self-efficacy and professional identity. A total of 1,051 freshmen nursing students from the Be Resilient to Nursing Career program were recruited from four universities between September and November 2020. A latent profile and moderated meditation analysis were performed. Four profiles of self-efficacy were identified and named as Lowest, Med-low, Med-high, and Highest. The mediating role of resilience and the moderating effect of role models were also identified. Therefore, self-efficacy, resilience, and role (...) models may be three important factors to professional identity in FNSs and these relationships should be further validated in longitudinal or interventional studies. (shrink)

Host-microbiome interactions (HMIs) are critical for the modulation of biological processes and are associated with several diseases, and extensive HMI studies have generated large amounts of data. We propose that the logical representation of the knowledge derived from these data and the standardized representation of experimental variables and processes can foster integration of data and reproducibility of experiments and thereby further HMI knowledge discovery. A community-based Ontology of Host-Microbiome Interactions (OHMI) was developed following the OBO Foundry principles. OHMI leverages established (...) ontologies to create logically structured representations of microbiomes, microbial taxonomy, host species, host anatomical entities, and HMIs under different conditions and associated study protocols and types of data analysis and experimental results. (shrink)

Understanding the factors influencing the aesthetic experience of architectures is an important topic in empirical aesthetics. In this study, we examined the effect of three architectural factors, i.e., ceiling height, openness, and contour, on viewers’ aesthetic appreciation through a series of experiments. In previous studies on architectural aesthetics, participants were usually asked to view an image of an architectural space for a few seconds. The long viewing time allows them to focus on different parts of the architecture and then make (...) an aesthetic judgment. The long viewing time, however, also makes it difficult to obtain viewers’ aesthetic scores for a large number of architectural spaces in a short period. In this study, we shortened the visual presentation time to 200 ms, which allowed the viewers to have only one fixation on the image, and asked the viewers to make an aesthetic judgment. It was found that the experiment with a 200-ms viewing time could establish how the three architectural factors influenced aesthetic judgment as well as previous experiments with a 3,000-ms viewing time, suggesting that aesthetic judgment could be made within one fixation. Additionally, we investigated the impact of color on architectural aesthetic judgment by presenting grayscale images. We found that the three architectural factors influenced aesthetic judgment in similar ways for both color and grayscale images. In summary, we found that color was not a main factor modulating viewers’ architectural aesthetic judgments, and we also presented a way to quickly obtain aesthetic scores for architectural spaces. (shrink)

Variability in the emotion regulation (ER) strategies one uses throughout daily life has been suggested to reflect adaptive ER ability and to act as a protective factor in mental health. Moreover, psychological inflexibility and persistent negative affect (or affective inertia) are key features of depression and other forms of mental illness and are often further exacerbated by rigid or overly passive regulatory behaviours. The current study investigated the hypothesis that ER variability might serve as a protective factor against depressive symptoms (...) and affective inertia. Using experience-sampling (N = 213), we tested whether two indictors of ER variability (between- and within-strategy SDs) were related to depressive symptoms and affective inertia. We found that people with higher between-strategy variability and within-strategy variability (specifically for reappraisal and distraction) reported fewer depressive symptoms. Both within- and between-strategy variability were negatively related to negative affective inertia. Between-strategy variability and negative affective inertia had unique effects on depression, when used as simultaneous predictors. Altogether, this study provides further evidence for the utility of ER as a factor buffering against depressive symptoms and particularly for the use of variable ER strategies. (shrink)

Link prediction is a key tool for studying the structure and evolution mechanism of complex networks. Recommending new friend relationships through accurate link prediction is one of the important factors in the evolution, development, and popularization of social networks. At present, scholars have proposed many link prediction algorithms based on the similarity of local information and random walks. These algorithms help identify actual missing and false links in various networks. However, the prediction results significantly differ in networks with various structures, (...) and the prediction accuracy is low. This study proposes a method for improving the accuracy of link prediction. Before link prediction, k-shell decomposition method is used to layer the network, and the nodes that are in 1-shell and the nodes that are not linked to the high-shell in the 2-shell are deleted. The experiments on four real network datasets verify the effectiveness of the proposed method. (shrink)

Background: It has been reported that type 2 diabetes is associated with olfactory identification impairments and cognitive decline. However, the relationship between OI impairments and cognitive decline is largely unknown in T2DM patients.Methods: Sixty-eight T2DM patients and 68 healthy controls underwent 3D-T1 MRI scans, olfactory and cognitive assessments. The cortical thickness of olfaction-related brain regions, olfactory and cognitive scores were compared between groups. Correlation analyses were carried out among cognition, olfaction, and cortical thickness of olfaction-related brain regions.Results: First, the cognitive (...) and olfactory test scores of T2DM patients were lower than healthy subjects. Second, higher olfactory scores were associated with increased cortical thickness in the left parahippocampal gyrus and bilateral insula in T2DM. Third, higher olfactory scores were associated with higher cognitive performance in T2DM. Fourth, some cognitive performances were related to cortical thickness in the left parahippocampal gyrus and left insula in T2DM.Conclusion: These findings indicated that olfactory dysfunction may be useful for future applications that attempt to predict cognitive decline or develop tailored therapies in T2DM patients. (shrink)

As the most frequently used tool for measuring empathy, the Interpersonal Reactivity Index (IRI) is often scored by researchers arbitrarily and casually. Many commonly used IRI scoring approaches and their corresponding measurement models are unverified, which may make the conclusions of subsequent variable relation studies controversial and even misleading. We make the first effort to summarize these measurement models and to evaluate rationality of the common scoring methods of the IRI by confirmatory factor analysis, focusing on model fitting, factor loading, (...) and model-based reliability simultaneously. The results show that most of these models do not fit well, indicating that the scoring approaches of the IRI corresponding to these models may be problematic. Relatively speaking, better scoring approaches of the IRI include summing empathic concern and perspective taking as the total score of the IRI and reporting the score of perspective taking as cognitive empathy. (shrink)

Improvements of the happiness of the rural population are an essential sign of the effectiveness of relative poverty governance. In the context of today’s digital economy, assessing the relationship between digital literacy and the subjective happiness of rural low-income groups is of great practicality. Based on data from China Family Panel Studies, the effect of digital literacy on the subjective well-being of rural low-income groups was empirically tested. A significant happiness effect of digital literacy on rural low-income groups was found. (...) Digital literacy promotes the subjective happiness of rural low-income groups through income increase and consumption growth effects. The observed happiness effect is heterogeneous among different characteristic groups, and digital literacy significantly positively impacts the subjective happiness of rural low-income groups. Decomposition of subjective happiness into life satisfaction and job satisfaction shows that digital literacy significantly positively affects the job and life satisfaction of rural low-income groups. This paper demonstrates that digital literacy induces a practical happiness effect. To further strengthen the subjective welfare effect of digital literacy in the construction of digital villages, the government should focus on cultivating digital literacy among low-income groups from the demand side. The construction of digital infrastructure should be actively promoted from the supply side. (shrink)